assert_com 9,38
=========================
`ASSERT'-RELATED THEOREMS
=========================

origin